Having studied mathematics, in particular foundations and philosophy of mathematics, it happened that I was asked to teach logic to the students in the Faculty of Philosophy of the Radboud University Nijmegen. It was there that I discovered that logic is much more than just a mathematical discipline consisting of definitions, theorems and proofs, and that logic can and should be embedded in a philosophical context. After ten years of teaching logic at the Faculty of Philosophy at the Radboud University (...) Nijmegen, thirty years at the Faculty of Philosophy of Tilburg University and nine years at the Faculty of Philosophy of the Erasmus University Rotterdam, I got many ideas how to improve my LOGIC book which was published twenty five years ago in 1993 by Verlag Peter Lang. Although the amount of work was enormous, I felt I should do it. It is like working on a large painting where you put some extra color in one corner, add a little detail at another place, shed some more light on a particular face, etc. (shrink)

Although there is little empirical doubt of the cerebral base of consciousness, it still has an unapproachable quality about it. Gerald Edelman and Giulio Tononi offer a hypothesis that should give us the tool to start disentangling the 'world knot', an image Arthur Schopenhauer used to describe the problem of the origin of consciousness. Their primary focus is not the richness in everyday experience, but the conditions that allow us that experiential richness -- a difficult enough task, as most would (...) admit reading the book. It shows how the cranial barrier can be overcome by new observation techniques, producing a plethora of experimental data in support of the concepts and theories described in the book. This material leads to the formulation of the dynamic-core hypothesis which describes the necessary biological conditions for consciousness. (shrink)

Intuitionistically. a set has to be given by a finite construction or by a construction-project generating the elements of the set in the course of time. Quantification is only meaningful if the range of each quantifier is a well-circumscribed set. Thinking upon the meaning of quantification, one is led to insights?in particular, the so-called continuity principles?which are surprising from a classical point of view. We believe that such considerations lie at the basis of Brouwer?s reconstruction of mathematics. The predicate ?α (...) is lawless? is not acceptable, the lawless sequences do not form a well-circumscribed intuitionistic set, and quantification over lawless sequences does not make sense. (shrink)

Natural languages make prolific use of conventional constituent‐ordering patterns to indicate “who did what to whom,” yet the mechanisms through which these regularities arise are not well understood. A series of recent experiments demonstrates that, when prompted to express meanings through silent gesture, people bypass native language conventions, revealing apparent biases underpinning word order usage, based on the semantic properties of the information to be conveyed. We extend the scope of these studies by focusing, experimentally and computationally, on the interpretation (...) of silent gesture. We show cross‐linguistic experimental evidence that people use variability in constituent order as a cue to obtain different interpretations. To illuminate the computational principles that govern interpretation of non‐conventional communication, we derive a Bayesian model of interpretation via biased inductive inference and estimate these biases from the experimental data. Our analyses suggest people's interpretations balance the ambiguity that is characteristic of emerging language systems, with ordering preferences that are skewed and asymmetric, but defeasible. (shrink)

We distinguish three different readings of the intuitionistic notions of validity, soundness, and completeness with respect to the quantification occurring in the notion of validity, and we establish certain relations between the different readings. For each of the meta-logical notions considered we suggest that the “most natural” reading (which is not the same for all cases) is precisely the one which is required by the recent intuitionistic completeness theorems for IPC.

Depending on what one means by the main connective of logic, the -if..., then... -, several systems of logic result: classic and modal logics, intuitionistic logic or relevance logic. This book presents the underlying ideas, the syntax and the semantics of these logics. Soundness and completeness are shown constructively and in a uniform way. Attention is paid to the interdisciplinary role of logic: its embedding in the foundations of mathematics and its intimate connection with philosophy, in particular the philosophy of (...) language. Set theory is presented both as a conditio sine qua non for logic and as a interesting exact ontology. The study of infinite sets yields perplexing results. Formalization of informal number theory results in formal number theory; Godel's incompleteness is treated. At appropriate places attention is paid to paradoxes, intuitionism, conditionals, the historical development of logic, to logic programming and automated theorem proving for classical logic.". (shrink)

Introducing and implementing corporate sustainability poses many challenges to business organizations. In this longitudinal, inductive study, we focus on how such challenges are handled in a Dutch bank that is developing its sustainability policies. We examine why there is such a high degree of tension and conflict within the organization and identify how the development of these policies is affected by the interplay between subcultures and institutional logics. We show how different subcultures affect the enactment of logics by infusing the (...) rational and mindful behavior coming from logics with (sub)cultural values, beliefs, and assumptions. In turn, conflicting logics amplify subcultural characteristics between groups by shaping different behavior and practices. Together, this leads to a magnification of subcultural differences while, at the same time, logics are increasingly being perceived as incompatible. (shrink)

A large-scale field experiment in Rotterdam, Netherlands, tested whether nudging could increase public transport use. During one work week, 4000 commuters on six bus lines, received a free travel card holder. On the three bus lines in the experimental condition, the card holders displayed a social label that branded bus passengers as sustainable travelers because of their bus use. On the three bus lines in the control condition, there was no such message on the card holders. Analysis of the number (...) of rides per hour showed that the intervention led to a change from pre-intervention to post-intervention period that was estimated to be 1.18 rides per day greater on experimental lines than on control lines. This experiment shows that public transport operators can increase public transport use by incorporating messages that positively label passengers as sustainable travelers in their communication strategies. (shrink)

This paper addresses the two interpretations that a combination ofnegative indefinites can get in concord languages like French:a concord reading, which amounts to a single negation, and a doublenegation reading. We develop an analysis within a polyadic framework,where a sequence of negative indefinites can be interpreted as aniteration of quantifiers or via resumption. The first option leadsto a scopal relation, interpreted as double negation. The secondoption leads to the construction of a polyadic negative quantifiercorresponding to the concord reading. Given that (...) sentential negationparticipates in negative concord, we develop an extension of thepolyadic approach which can deal with non-variable binding operators,treating the contribution of negation in a concord context assemantically empty. Our semantic analysis, incorporated into agrammatical analysis formulated in HPSG, crucially relies on theassumption that quantifiers can be combined in more than one wayupon retrieval from the quantifier store. We also considercross-linguistic variation regarding the participation ofsentential negation in negative concord. (shrink)

In this article, we model FPTP systems as social preference rules and give two characterizations. We show that a social preference rule is an FPTP system if, and only if, it satisfies the axioms of subset consistency, district consistency, subset cancellation, and district cancellation. The second characterization consists of the axioms of subset consistency, subset anonymity, neutrality, topsonlyness, Pareto optimality, district consistency and district cancellation. The characterizations give us an opportunity to compare the characteristic properties of FPTP systems to the (...) characteristic properties that we found for list systems of proportional representation (list PR systems) in Hout et al. (Social Choice and Welfare, 27:459–475, 2006), where we modelled those systems also as social preference rules. We find that consistency and anonymity distinguish list PR systems from FPTP systems. On the other hand, it is district cancellation that distinguishes FPTP systems from list PR systems. (shrink)

We introduce an implication-with-possible-exceptions and define validity of rules-with-possible-exceptions by means of the topological notion of a full subset. Our implication-with-possible-exceptions characterises the preferential consequence relation as axiomatized by Kraus, Lehmann and Magidor [Kraus, Lehmann, and Magidor, 1990]. The resulting inference relation is non-monotonic. On the other hand, modus ponens and the rule of monotony, as well as all other laws of classical propositional logic, are valid-up-to-possible exceptions. As a consequence, the rules of classical propositional logic do not determine the (...) meaning of deducibility and inference as implication-without-exceptions. (shrink)

L’utilitarisme de Bentham transforme profondément la doctrine antérieure de la liberté de parole en la mettant au service de la recherche de la vérité et en réfléchissant à la portée du contrôle exercé par le gouvernement. Il préserve la distinction entre les affirmations portant sur des opinions et celles portant sur des faits et accorde aux premières une moindre protection. Comme l’avait fait son père James Mill, John Stuart Mill conserve cette distinction dans ses écrits de jeunesse mais ces analyses (...) souffrent de faiblesses logiques et de naïveté politique. Dans De la liberté, John Stuart Mill cherche à dépasser ces difficultés et propose une nouvelle défense de la liberté d’expression en tant que liberté de délibération. Contrairement à la plupart des interprétations, cet article démontre que cette nouvelle approche ne remet pas en cause la distinction fondamentale entre l’expression des opinions (qui sont protégées de façon absolue) et les affirmations portant sur des faits, qui ne sont protégées que de façon contingente, ce qui laisse ouverte la possibilité de restreindre l’expression d’affirmations fausses portant sur des faits. (shrink)

From 2009 to 2013 the workplace innovation project “My Enterprise 2.0” was carried out in the region of Utrecht in the Netherlands in order to strengthen the workplace innovation capability of small and medium-sized enterprises. Participating enterprises completed a questionnaire regarding the “workplace innovativeness” of their company. A workplace innovation intervention was then implemented by some of the companies, while other companies chose not to take part. At the end of the project, a second questionnaire indicated that those companies that (...) implemented interventions had a significantly higher score with regard to overall workplace innovativeness. The companies without such interventions reported a small decrease. While the companies in the region had higher workplace innovativeness scores relative to a national reference group both before and after the project, the increase in the “workplace innovativeness” of the regional SMEs that experienced interventions suggests that the project proved beneficial to their continued “workplace innovativeness.” Moreover, these companies also reported positive effects on company performance, achieving company goals and improving labor productivity. (shrink)

The Vlaams Blok has been among the more successful of Europe’s far-right parties. But there is still a good deal of statistical analysis which might be done to help identify the factors in their success.This study looks at the best available data from electoral returns in the nine districts of Antwerp, which has been the locus of the Vlaams Blok’s support.A statistical comparison is made between various social and economic factors, and the level of support for Vlaams Blok in an (...) attempt to identify significant correlations. (shrink)